total reflexivity

全自反性